大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 IEEE Technical Committee on Mathematical Foundations of Computing 17th July 的图书(共4723本)

Modern Mathematical Tools and Techniques in Capturing Complexity [electronic resource]

0
索取号:
作者:Pardo、 Leandro.、Balakrishnan、 Narayanaswamy.、Gil、 Mar铆a 脕ngeles.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Advances in Grid and Pervasive Computing [electronic resource] : 6th International Conference, GPC 2011, Oulu, Finland, May 11-13, 2011. Proceedings

0
索取号:
作者:Riekki、 Jukka.、Ylianttila、 Mika.、Guo、 Minyi.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Model Checking and Artificial Intelligence [electronic resource] : 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers

0
索取号:
作者:Meyden、 Ron.、Smaus、 Jan-Georg.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Control and Adaptation in Telecommunication Systems [electronic resource] : Mathematical Foundations

0
索取号:
作者:Popovskij、 Vladimir.、Barkalov、 Alexander.、Titarenko、 Larysa.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Logic-Based Program Synthesis and Transformation [electronic resource] : 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers

0
索取号:
作者:Alpuente、 Mar铆a.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Soft Computing in Industrial Applications [electronic resource]

0
索取号:
作者:Gaspar-Cunha、 Ant贸nio.、Takahashi、 Ricardo.、Schaefer、 Gerald.、Costa、 Lino.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Foundations of Large-Scale Multimedia Information Management and Retrieval [electronic resource] : Mathematics of Perception

0
索取号:
作者:Chang、 Edward Y.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Rigorous Software Engineering for Service-Oriented Systems [electronic resource] : Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing

0
索取号:
作者:Wirsing、 Martin.、H枚lzl、 Matthias.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Mathematical Modeling [electronic resource]

0
索取号:
作者:Heinz、 Stefan.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Adaptive and Natural Computing Algorithms [electronic resource] : 10th International Conference, ICANNGA 2011, Ljubljana, Slovenia, April 14-16, 2011, Proceedings, Part I

0
索取号:
作者:Dobnikar、 Andrej.、Lotri膷、 Uro拧.、艩ter、 Branko.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Adaptive and Natural Computing Algorithms [electronic resource] : 10th International Conference, ICANNGA 2011, Ljubljana, Slovenia, April 14-16, 2011, Proceedings, Part II

0
索取号:
作者:Dobnikar、 Andrej.、Lotri膷、 Uro拧.、艩ter、 Branko.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Formal Grammar [electronic resource] : 14th International Conference, FG 2009, Bordeaux, France, July 25-26, 2009, Revised Selected Papers

0
索取号:
作者:Groote、 Philippe.、Egg、 Markus.、Kallmeyer、 Laura.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Software and Data Technologies [electronic resource] : 4th International Conference, ICSOFT 2009, Sofia, Bulgaria, July 26-29, 2009. Revised Selected Papers

0
索取号:
作者:Cordeiro、 Jos茅.、Ranchordas、 AlpeshKumar.、Shishkov、 Boris.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

e-Business and Telecommunications [electronic resource] : 6th International Joint Conference, ICETE 2009, Milan, Italy, July 7-10, 2009. Revised Selected Papers

0
索取号:
作者:Obaidat、 Mohammad S.、Filipe、 Joaquim.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

International Symposium on Distributed Computing and Artificial Intelligence [electronic resource]

0
索取号:
作者:Abraham、 Ajith.、Corchado、 Juan M.、Gonz谩lez、 Sara Rodr铆guez.、Paz Santana、 Juan F.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Requirements Engineering: Foundation for Software Quality [electronic resource] : 17th International Working Conference, REFSQ 2011, Essen, Germany, March 28-30, 2011. Proceedings

0
索取号:
作者:Berry、 Daniel.、Franch、 Xavier.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
最近添加的分类